$p$ =b $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($p$ $\wedge_{b}$ $q$) $\vee_{b}$(($\neg_{b}$$p$) $\wedge_{b}$ ($\neg_{b}$$q$))